--Expected Output: 20

DEF MAIN:nat == mul(10,2)
